package list2;

public class ListIterRW extends ListIterRO {
	/*@ peer @*/ List thelist;
	
	/*@ pure @*/
	public ListIterRW(/*@ peer @*/ List list) {
		super(list);
		thelist = list;
	}
	
	public void remove() {
		thelist.remove(cur);
	}
}
